x86: fix guest wrmsr warning format

During the recent MSR handling cleanup, the '0' format modifier got
lost.

Signed-off-by: Jan Beulich <jbeulich@novell.com>

diff --git a/xen/arch/x86/traps.c b/xen/arch/x86/traps.c
index 1d833beff679e48fabd7b42356ead7d1eb77fd96..5acf749b0d75abe21cb126417f6890e14b6d337e 100644 (file)
--- a/xen/arch/x86/traps.c
+++ b/xen/arch/x86/traps.c
@@ -2297,7 +2297,7 @@ static int emulate_privileged_op(struct cpu_user_regs *regs)
                  (eax != (uint32_t)val) || (edx != (uint32_t)(val >> 32)) )
         invalid:
                 gdprintk(XENLOG_WARNING, "Domain attempted WRMSR %p from "
-                        "0x%16"PRIx64" to 0x%16"PRIx64".\n",
+                        "0x%016"PRIx64" to 0x%016"PRIx64".\n",
                         _p(regs->ecx), val, msr_content);
             break;
         }